XSB - definizione. Che cos'è XSB
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è XSB - definizione

DIALECT OF THE PROLOG PROGRAMMING LANGUAGE AND ITS IMPLEMENTATION

XSB         
<logic programming> XSB extends the standard functionality of Prolog (being a descendant of PSB- and SB-Prolog) to include implementations of OLDT (tabling) and HiLog terms. OLDT resolution is extremely useful for recursive query computation, allowing programs to terminate correctly in many cases where Prolog does not. HiLog supports a type of higher-order programming in which predicate symbols can be variable or structured. This allows unification to be performed on the predicate symbols themselves in addition to the arguments of the predicates. Of course, Tabling and HiLog can be used together. Version 1.2 ports: Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX portability: Generally to 32-bit machines. interpreter, preprocessor(HiLog), documentation XSB research group / SUNY at Stony Brook XSB/XSB.tar.Z">ftp://sbcs.sunysb.edu/pub/XSB/XSB.tar.Z. (130.245.1.15) E-mail: <xsb-contact@cs.sunysb.edu>. (1993-07-28)
Sambal language         
AUSTRONESIAN LANGUAGE
Sambali language; Zambal language; Tina dialect; Zambal dialect; Sambal dialect; Sambali dialect; Hambali dialect; Hambali language; Sambal Tina; Zambal Tina; Tina Zambal; Tina Sambal; Sambali Tinà; Sambal Tinà; Zambali Tinà; Zambal Tinà; Tinà Zambal; Tinà Zambali; Tinà Sambal; Tinà Sambali; Tinà language; Tinà; Tinà dialect; Zambaleño language; Zambaleno language; Tina (language); Sambali Tina; Zambali Tina; Tina Sambali; Tina Zambali; ISO 639:xsb; Sambali; Tina language; Tina Sambal language; Tinà Sambal language
Sambal or Sambali is a Sambalic language spoken primarily in the Zambal municipalities of Santa Cruz, Candelaria, Masinloc, Palauig, and Iba, and in the Pangasinense municipality of Infanta in the Philippines; speakers can also be found in Panitian, Quezon, Palawan and Barangay Mandaragat or Buncag of Puerto Princesa. The speakers of the language are decreasing due to the fact that many of the speakers are shifting to Tagalog.

Wikipedia

XSB

XSB is the name of a dialect of the Prolog programming language and its implementation developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.

XSB extends Prolog with tabled resolution and HiLog (a standard extension of Prolog permitting limited higher-order logic programming).

The open source XSB implementation includes an interface to the Java programming language.